Synthesis of Bisimilarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
نویسندگان
چکیده
منابع مشابه
Discrete-Event Control of Nondeterministic Systems
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...
متن کاملOn the Design of Adaptive Supervisors for Discrete Event Systems
The supervised control of complex event-driven Discrete Event Systems (DESs) such as those present in manufacturing systems, or the communication processes involved therein, continue to pose a challenge to system designers. To a certain extent this complexity can be reduced by applying existing modular control approaches to large-scale DES design. These solutions divide the system into differen...
متن کاملIncremental hierarchical construction of modular supervisors for discrete-event systems
ed models is often difficult and limits either the amount of abstraction, or the quality of results that can be achieved. Nonblocking and optimality of the control are specifically difficult to attain. Another problem is that often the full monolithic system must be built before the abstraction is performed. Another approach is to build a series of smaller component supervisors that each satisf...
متن کاملA General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems
We revisit the synthesis of supervisors for partially-observed discrete-event systems from a new angle, based on the construction of a new structure called the All Inclusive Controller (or AIC). We consider control problems for safety specifications, where the legal language is a prefix-closed sublanguage of the system language. We define the AIC as a bipartite transition system that embeds all...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.06.270